منابع مشابه
Connectivity calculus of fractal polyhedrons
The paper analyzes the connectivity information (more precisely, numbers of tunnels and their homological (co)cycle classification) of fractal polyhedra. Homology chain contractions and its combinatorial counterparts, called homological spanning forest (HSF), are presented here as an useful topological tool, which codifies such information and provides an hierarchical directed graph-based repre...
متن کاملObservability, Connectivity, and Replay in a Sequential Calculus of Classes
Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented languages is class-based. Considering classes as part of a component makes instantiation a possible interaction between component and environment. As a consequence, one needs to take connectivity information into account. We formul...
متن کاملObject Connectivity in a Concurrent Calculus of Classes
The concurrent ν-calculus has been investigated as a core calculus for imperative, object-oriented languages with multithreading and heap-allocated objects. From an abstract point of view, the combination of this form of concurrency with objects corresponds to features known from the popular language Java. One distinctive feature, however, of the concurrent object calculus is that it is object-...
متن کاملQualitative Spatial Reasoning in 3D: Spatial Metrics for Topological Connectivity in a Region Connection Calculus
In qualitative spatial reasoning, there are three distinct properties for reasoning about spatial objects: connectivity, size, and direction. Reasoning over combinations of these properties can provide additional useful knowledge. To facilitate end-user spatial querying, it also is important to associate natural language with these relations. Some work has been done in this regard for lineregio...
متن کاملThe \mu-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity
It is known that the alternation hierarchy of least and greatest fixpoint operators in the μ-calculus is strict. However, the strictness of the alternation hierarchy does not necessarily carry over when considering restricted classes of structures. A prominent instance is the class of infinite words over which the alternation-free fragment is already as expressive as the full μ-calculus. Our cu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Mathematics Letters
سال: 2003
ISSN: 0893-9659
DOI: 10.1016/s0893-9659(03)80063-0